Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
951	New York State Continuing Legal Education Board 25 Beaver Street, Room 888, New York, NY 10004 • Phone: ([removed]Fax: ([removed] • W eb site: www.nycourts.gov/attorneys/cle • E-m ail: cle@ courts.state.ny Add to Reading List Source URL: www.courts.state.ny.us Language: English - Date: 2011-07-14 11:57:13 Legal education United States law Verification and validation CD+G Verification ALGOL 68 Software engineering Systems science Systems engineering Programming language theory Continuing legal education
952	Introduction The Human Exploration & Operations – Exploration Systems Development (HEO-ESD) IV&V team is currently conducting analysis of development of the flight software for the first flight of the Orion Multi-Purpo Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:35 Orion Simulation Verification and validation Simics Vulnerability Emulator Software testing Software Computing
953	Regulatory Impact Statement Anti-Money Laundering and Countering Financing of Terrorism: Identity Verification Code of Practice Agency Disclosure Statement Add to Reading List Source URL: www.dia.govt.nz Language: English - Date: 2011-09-12 19:53:00 Tax evasion Terrorism financing Security Identity document Verification Finance Anti-money laundering software Know your customer Financial regulation Business Money laundering
954	Smart Find Express (SFE) Tips Sheet - Elementary The following document will highlight additional information on some of the areas in the absence creation process to ensure that the Smart Find Express (SFE) system is uti Add to Reading List Source URL: www.rrdsb.com Language: English - Date: 2014-01-08 15:47:16 Systems engineering Verification C Software engineering Email Business Computing Payment systems Electronic documents
955	NASA IV & V ANNUAL WORKSHOP 2012 The 4th International Workshop on Independent Verification & Validation of Software Disaster Recovery Planning Divya Krishnamoorthy Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:30 Disaster preparedness Humanitarian aid Natural hazards Risk management Anthropogenic hazard Disaster Business continuity planning Risk Environmental disaster Management Public safety Emergency management
956	US EPA Test/QA Plan for Mold-Resistant Gypsum Board Testing Add to Reading List Source URL: epa.gov Language: English - Date: 2014-08-05 13:17:42 United States Environmental Protection Agency Environment RTI International Drywall Environmental Technology Verification Program Lafarge Test plan Technology Architecture Software testing Evaluation Quality assurance
957	RUNNING VERIFICATION SOFTWARE Jeff McQueen & Perry Shafran Updated[removed]Introduction Add to Reading List Source URL: www.emc.ncep.noaa.gov Language: English - Date: 2008-03-12 06:44:15 E Hardware verification languages Charts Plot
958	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
959	Understanding the Communications and Information Needs Add to Reading List Source URL: ops.fhwa.dot.gov Language: English - Date: 2007-09-19 07:29:32 Technology System testing Acceptance testing Test plan Validation Software development process Functional testing Unit testing Functional verification Software testing Software development Manufacturing
960	1 FVS Made Easy Perry C. Shafran Updated 20 March 2007 The NCEP/HPCEMC Forecast Verification System (FVS), a graphic verification tool developed and maintained by Keith Brill (HPC), can Add to Reading List Source URL: www.emc.ncep.noaa.gov Language: English - Date: 2007-04-18 13:22:32 Computer configuration Environment variable Data file Plot C shell Computing Software System software

UPDATE